import java.math.BigDecimal;
import java.util.Scanner;

public class demo {


    //    不用加减乘除做加法
    public int Add(int num1,int num2) {
        int n = (num1&num2)<<1;
        int m = num1^num2;
        while (n != 0) {
            int t = n;
            n = (n&m)<<1;
            m = t^m;
        }
        return m;
    }





    //    判断是否是三角形(范围)
//    输入包含多组数据，每组数据包含三个正整数a、b、c（1≤a, b, c≤10^100）。
//    对应每一组数据，如果它们能组成一个三角形，则输出“Yes”；否则，输出“No”。
//          BigDecimal是类 可以使用add和compareTo方法
    public static void main(String[] args) {
        Scanner in = new Scanner(System.in);
        while (in.hasNext()) {
            BigDecimal a = in.nextBigDecimal();
            BigDecimal b = in.nextBigDecimal();
            BigDecimal c = in.nextBigDecimal();
            if (a.add(b).compareTo(c)==1
                    && a.add(c).compareTo(b)==1
                    && b.add(c).compareTo(a)==1) {
                System.out.println("Yes");
            }else {
                System.out.println("No");
            }
        }
    }
}
